41. KI 2015
المؤلف: \ [edited by] Steffen Hölldobler...[et.al]
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science,Logic, symbolic and mathematical,کامپیوتر,منطق ریاضی,a04,a05,a04,a05,Artificial intelligence -- Congresses.,هوش مصنوعی-- کنگره‌ها
رده :
Q
336
.
K5
2015
E-Book
,
42. Linguistic Fuzzy Logic Methods in Social Sciences
المؤلف: \ Badredine Arfi.
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Fuzzy logic,منطق فازی,a04,a04,Social sciences-- Mathematical models.,علوم اجتماعی -- الگوهای ریاضی
رده :
H
61
.
25
.
A7L5
2010
E-Book
,
43. Logic, Mathematics, and Computer Science.
المؤلف: \ Yves Nievergelt
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Mathematics,Logic, symbolic and mathematical,Number theory,ریاضیات,منطق ریاضی,نظریه اعداد,a03,a04,a05,a03,a04,a05
رده :
QA
37
.
N5L6
2015
E-Book
,
44. Logic, Rationality, and Interaction
المؤلف: \ Wiebe van der Hoek, Wesley H. Holliday, Wen-fang Wang (eds.).
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, Symbolic and mathematical -- Congresses. ,Information theory -- Congresses. ,منطق ریاضی -- کنگره‌ها
رده :
Q360
.
L67
2015
E-Book
,
45. Logic and Its Applications
المؤلف: \ Mohua Banerjee, Shankara Narayanan Krishna (Eds.)
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, Symbolic and mathematical -- Congresses.,منطق ریاضی-- کنگره‌ها
رده :
QA
9
.
L6
2015
E-Book
,
46. Logic and Knowledge
المؤلف: \ Bertrand Russell; edited by Robert Charles Marsh,راس‍ل
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Philosophy,Logic, symbolic and mathematical,فلسفه,منطق ریاضی,a03,a05,a03,a05
رده :
B1649
.
R93
L6
1968
47. Logic and Philosophy of Mathematics in the Early Husserl
المؤلف: \ by Stefania Centrone.
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, symbolic and mathematical,منطق ریاضی,a03,a03,Mathematics-- Philosophy.,ریاضیات -- فلسفه
رده :
QA
9
.
C4L6
2010
E-Book
,
48. Logic and knowledge : essays, 1901-1950
المؤلف: / Bertrand Russell,راس‍ل,Russell
المکتبة: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع: فلسفه,منطق ریاضی
رده :
B
۱۶۴۹
/
ر
۲
ل
۲ ۱۳۳۵
49. Logic and mathematics
المؤلف: / edited by John H. Piet and Ayodhya Prasad
المکتبة: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع: منطق ریاضی
رده :
QA
۹
/
ل
۲ ۱۳۷۹
50. Logic and structured design for computer programmers
المؤلف: / Harold J. Rood
المکتبة: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع: ب‍رن‍ام‍ه‌ن‍وی‍س‍ی,ب‍رن‍ام‍ه‌ن‍وی‍س‍ی س‍اخ‍ت‍ار ی‍اف‍ت‍ه,منطق ریاضی
رده :
QA
۷۶
/
۶
/
ر
۹
ل
۲ ۱۳۸۰
51. Logic for mathematics and computer science
المؤلف: / Stanley N. Burris
المکتبة: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع: منطق ریاضی
رده :
QA
۹
/
ب
۴
ل
۲ ۱۳۷۷
52. Logic, language, information and computation : 15th international workshop, WOLLIC 2008 Edinburgh, UK, July 1-4, 2008 proceedings
المؤلف: / [edited by] Wilfrid Hodges, Ruy de Queiroz.
المکتبة: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع: منطق ریاضی,منطق ریاضی,زبان‌شناسی کامپیوتری,-- کنگره‌ها, -- کنگره‌ها
رده :
QA
۹
/
ک
۲ ۱۳۸۷
53. Logical Studies of Paraconsistent Reasoning in Science and Mathematics
المؤلف:
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, Symbolic and mathematical,منطق ریاضی
رده :
E-Book
,
54. Logical Thinking in the Pyramidal Schema of Concepts
المؤلف: / Lutz Geldsetzer, Richard L. Schwartz
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, Symbolic and mathematical,Mathematics, Philosophy,Philosophy (General),Logic,Computer science,منطق ریاضی,ریاضیات -- فلسفه
رده :
QA9
.
G325
2013
55. Logical syntax of language
المؤلف: / Rudlof carnap Translated by Amethe smeaton (countess von zepplin
المکتبة: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع: اث‍ب‍ات‌گ‍رای‍ی م‍ن‍طق‍ی,منطق ریاضی
رده :
BibBC
۱۳۵
/
ک
۲ ۱۳۷۹
56. Mathematical Logic
المؤلف: \ Wei Li
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, symbolic and mathematical,منطق ریاضی,a03,a03
رده :
E-Book
,
57. Mathematical logic
المؤلف: / Yu. L. Ershov, E. A. Palyutin
المکتبة: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع: منطق ریاضی
رده :
QA
۹
/
۲
/
ی
۴
م
۲ ۱۳۶۳
58. Mathematical logic in the 20th century
المؤلف: / edited by] Gerald E. Sacks]
المکتبة: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع: منطق ریاضی
رده :
QA
۹
/
۲
/
م
۲ ۱۳۸۲
59. Meaning and Necessity
المؤلف: / by Rudolf Carnap
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Semantics (Philosophy),Logic, Symbolic and mathematical,معنی شناسی (فلسفه),منطق ریاضی
رده :
B840
.
C3
1956
60. Mits, wits, and logic
المؤلف: / text by Lillian R. Lieber
المکتبة: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع: منطق ریاضی,علوم, -- فلسفه
رده :
BC
۱۳۵
/
ل
۹
م
۹ ۱۳۳۹
